首页> 外文OA文献 >Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

【2h】

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

机译：轻松实现属性规范：利用UML设计中的模型检查功能

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

Part 1: Specification Languages and Type Systems

机译：第1部分：规范语言和类型系统

著录项

作者
Remenska, Daniela; Willemse, Tim,; Templon, Jeff; Verstoep, Kees; Bal, Henri;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Towards model checking executable UML specifications in mCRL2 [J] . Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Innovations in Systems and Software Engineering . 2010,第1a2期

机译：在mCRL2中进行模型检查可执行UML规范
2. Interoperability of CAD models and SysML specifications for the automated checking of design requirements [J] . Rihab Brahmi, Moncef Hammadi, Nizar Aifaoui, Procedia CIRP . 2021,第a期

机译：CAD模型和SYSML规范的互操作性，用于自动检查设计要求
3. A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models [J] . Castro Marquez Carlos Ivan, Strum Marius, Chau Wang Jiang Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2015,第3期

机译：使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
4. Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs [C] . Daniela Remenska, Tim A.C. Willemse, Jeff Templon, International federated conference on distributed computing techniques;IFIP WG 6.1 international conference on formal techniques for distributed objects, components, and systems . 2014

机译：轻松实现属性规范：利用UML设计中的模型检查功能
5. Model-checking UML design using a temporal extension of the object constraint language. [D] . Bergeron, Mathieu. 2004

机译：使用对象约束语言的时间扩展进行模型检查UML设计。
6. Mediational Analysis in a Planned Missingness Data Design: Alternative Model Specifications and Power of the Mediated Effect [O] . Amanda N. Baraldi -1

机译：计划失踪数据设计中的中介分析：替代模型规范和中介效应的功效
7. Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs [O] . Remenska, Daniela, Willemse, Tim,, Templon, Jeff, 2014

机译：轻松实现属性规范：利用UML设计中的模型检查功能
8. Verifying Safety Properties of a PowerPC (Trade Mark) Microprocessor Using Symbolic Model Checking without BDDs [R] . Biere, A. , Clarke, E. , Raimi, R. , 1999

机译：使用无BDD的符号模型检查验证powerpC（商标）微处理器的安全属性

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

摘要

著录项

相似文献

相关主题

期刊订阅